<body>
Type checking for expressions.
</body>